An Architecture for Generating Interactive Feedback in Probabilistic User Interfaces Julia Schwarz, Jennifer Mankoff, Scott E. Hudson Human-Computer Interaction Institute Carnegie Mellon University, 5000 Forbes Avenue, P

Source URL: juliaschwarz.net

Low-Bandwidth VM Migration via Opportunistic Replay Ajay Surie H. Andrés Lagar-Cavilla Carnegie Mellon University

Source URL: isr.cmu.edu

Comparing Two IRT Models for Conjunctive Skills Hao Cen, Kenneth Koedinger, and Brian Junker Carnegie Mellon University 5000 Forbes, Pittsburgh, PA, U.S.A. , ,

Source URL: pact.cs.cmu.edu

Brian D. Holt Department of Biomedical Engineering, Carnegie Mellon University Doherty Hall 2100, 5000 Forbes Avenue Pittsburgh, PAE-mail:

Source URL: dahl.cheme.cmu.edu

Eliminating Array Bound Checking Through Dependent Types* Frank Pfenning Department of Computer Science Carnegie Mellon University

Source URL: www.cs.bu.edu

Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Mathematics
• Abstract algebra
• Algebra
• Constructible universe
• Lie algebras
• Lie groups
• Field theory
• CurryHoward correspondence
• Generalised Whitehead product

Who’s Viewed You? The Impact of Feedback in a mobile location Sharing System Janice Y. Tsai, Patrick Kelley, Paul Drielsma, Lorrie Cranor, Jason Hong, Norman Sadeh Carnegie Mellon University Pittsburgh, PA jytsai@andre

Source URL: www.cs.cmu.edu

80. CP violation in KL decaysCP Violation in KL Decays Updated April 2016 by L. Wolfenstein (Carnegie-Mellon University), C.-J. Lin (LBNL), and T.G. Trippe (LBNL). The symmetries C (particle-antiparticle intercha

Source URL: pdg.ge.infn.it

Rich People Don’t Have More Followers! Overcoming Social Inequality With Social Media Hemank Lamba, Momin M. Malik, Constantine Nakos, J¨ urgen Pfeffer (Alphabetical Order) Carnegie Mellon University

Source URL: www.pfeffer.at